(find_interval): No longer inline.

diff --git a/src/intervals.c b/src/intervals.c
index 024a4f3190315e13d55dcf35328c6cce26dd1063..fa23272160bb3b53bc243f0f1b77f18c4528d8c8 100644 (file)
--- a/src/intervals.c
+++ b/src/intervals.c
@@ -549,7 +549,7 @@ split_interval_left (interval, offset)
    is updated in the interval found.  Other functions (e.g., next_interval)
    will update this cache based on the result of find_interval.  */
 
-INLINE INTERVAL
+INTERVAL
 find_interval (tree, position)
      register INTERVAL tree;
      register int position;